Domain theory - PDFSEARCH.IO - Document Search Engine

Domain theory
Results: 638

#	Item
211	BIBLIOGRAPHIE GÉNÉRALE ABELSON H., SUSSMAN G. J., SUSSMAN J., 1985, Structure and Interpretation of Computer Programs, The MIT Press, Cambridge/McGraw-Hill Book Company, New York. A B R A M S K I S., 1987, Domain Theo Add to Reading List Source URL: iridia.ulb.ac.be Language: English - Date: 2007-06-27 08:53:11 Provability logic Logic Philosophy Laurent Thévenot Charles W. Morris bibliography Year of birth missing Modal logic Proof theory
212	SURVEY OF OKA THEORY ˇ AND FINNUR LARUSSON ´ FRANC FORSTNERIC Abstract. Oka theory has its roots in the classical Oka principle in complex analysis. It has emerged as a subfield of complex geometry in its own right sin Add to Reading List Source URL: www.maths.adelaide.edu.au Language: English - Date: 2011-01-03 17:51:08 Several complex variables Complex manifolds Differential topology Geometric topology Riemann surfaces Stein manifold Plurisubharmonic function Domain of holomorphy Differentiable manifold Mathematical analysis Geometry Topology
213	“bringing me into the world”: Brossard’s Lovhers and the Domain of Linguistic Survival Word-work is sublime, she thinks, because it is generative.1 ~Toni Morrison Since the 1970’s, Nicole Brossard has contributed Add to Reading List Source URL: www.asu.edu Language: English - Date: 2005-04-28 17:23:09 Philosophy of sexuality Political philosophy Poststructuralism Sociolinguistics Feminist theory Judith Butler Postcolonialism Lesbian feminism Discourse Philosophy Feminism Critical theory
214	A single NT hash can be used to access almost any data which resides in a Windows domain environment. The theory behind the first practical “Pass the Hash” attack against Microsoft Windows NT and the Lan Manager (LM) Add to Reading List Source URL: media.blackhat.com Language: English - Date: 2012-07-22 18:04:53 Cyberwarfare NTLM LM hash Kerberos Pass the hash Integrated Windows Authentication Ticket Granting Ticket Password Rainbow table Computer security Cryptography Computer network security
215	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming
216	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics
217	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:46:30 Formal languages Software design patterns Pattern matching Abstract syntax tree Tree traversal Tree B-tree Visitor pattern Node Computing Computer programming Graph theory
218	Pool.com Auction Dispute Resolution Policy Purpose Pool.com provides a Pool Auction Platform to registries (“TLD”) to provide a mechanism through which competing applications for a second level domain in their new gT Add to Reading List Source URL: nic.melbourne Language: English - Date: 2014-07-24 22:07:09 Commerce Game theory Business models Auction Proxy bid Bid Auctioneering Business Auction theory
219	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
220	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic

UPDATE